val sdl_init : unit -> unit
val is_image_loaded : bool ref
val is_process_btn_clicked : bool ref
val is_sample_btn_clicked : bool ref
val image_name : string ref
val altitude_file : string ref
val obj_file : string ref
val base_surface : Sdlvideo.surface ref
val sample_space : int ref
val altitude_space : int ref
val color_list : Sdlvideo.color list ref
val is_modelized : bool ref
val modelize_option : string ref
val alt_color_list : ObjList.colorEntryList ref
val filter_scale : int ref
val fill_acl : unit -> (int * (float * float * float)) list
val main_window : GWindow.window
val main_hbox : GPack.box
val main_panel : GPack.notebook
val convert_file : string option -> string
val field_convert : string -> int
val save_image : string -> unit
val get_triplet_string : int * int * int -> string
val get_string_list : int -> (int * int * int) list -> string
val save_altitude : string -> unit
val save_obj : string -> unit
val generic_save_button :
  GtkStock.id ->
  string ->
  bool ->
  [> `CANCEL | `DELETE_EVENT | `SAVE ] ->
  < add : GObj.widget -> unit; .. > -> (string -> 'a) -> GButton.button
val destroy_list_element :
  (< destroy : 'a; .. > ref * < destroy : 'b; .. > ref *
   < destroy : 'c; .. > ref)
  list -> unit
val clear_list : 'a list ref -> unit
val image_hbox : GPack.box
val main_image : GMisc.image
val main_3Ddisplay : GPack.box
val opt_hbox : GPack.box
val opt_lvbox : GPack.box
val field_hbox : GPack.box
val field_label : GMisc.label
val field_box : GEdit.entry
val option_button : GPack.box
val opt_rvbox : GPack.box
val opt_top_rvbox : GPack.box
val opt_bot_rvbox : GPack.box
val altitude_field : GEdit.entry
val savealtitude_button : GButton.button
val alt_color_field_create : unit -> unit
val image_bb : GPack.button_box
val troisd_bb : GPack.button_box
val option_bb : GPack.button_box
val image_filter : GFile.filter
val browse_button : GFile.chooser_button
val filter_button : GButton.button
val process_button : GButton.button
val sample_button : GButton.button
val saveimage_button : GButton.button
val saveobj_button : GButton.button
val modelize_button : GButton.button
val open_alt : GFile.chooser_button
val open_obj : GFile.chooser_button
val quit_button : GButton.button
val main : unit -> unit
